TAGs: set notation